<template>
  <span>共 {{ todoLen.value }} 条</span>
</template>

<script>
export default {
  name: 'TodoInfo',
  // 使用 TodoList 组件 provide 出的数据
  inject: ['todoLen'],
}
</script>
